101. Energy minimization methods in computer vision and pattern recognition :
پدیدآورنده : Marcello Pelillo, Edwin Hancock (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer vision, Congresses.,Pattern recognition systems, Congresses.,Algorithms & data structures.,Artificial intelligence.,Computer vision.,Computers-- Computer Graphics.,Computers-- Computer Vision & Pattern Recognition.,Computers-- Data Processing.,Computers-- Intelligence (AI) & Semantics.,Computers-- Logic Design.,Computers-- Programming-- Algorithms.,Image processing.,Mathematical theory of computation.,Maths for computer scientists.,Pattern recognition systems.,Pattern recognition.
رده :
TA1634
.
E44
2017eb
102. Engineering trustworthy software systems :
پدیدآورنده : Jonathan P. Bowen, Zhiming Liu, Zili Zhang (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer security, Congresses.,Computer software, Congresses.,Software engineering, Congresses.,Computer programming-- software development.,Computer security.,Computer software.,Computers-- General.,Computers-- Hardware-- Handheld Devices.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Information technology: general issues.,Programming & scripting languages: general.,Software engineering.,Software Engineering.,Systems analysis & design.
رده :
QA76
.
758
103. Essential Delphi 2.0 fast :
پدیدآورنده : John Cowell.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Borland Delphi 2.0.,Computer software -- Development,Delphi -- (Programmiersprache)
104. Evolvable hardware /
پدیدآورنده : Tetsuya Higuchi, Yong Liu, Xin Yao (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Digital integrated circuits-- Design and construction.,Evolutionary computation.,Evolutionary programming (Computer science),Logic circuits-- Design and construction.,COMPUTERS-- Computer Engineering.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Machine Theory.,Digital integrated circuits-- Design and construction.,Digital integrated circuits-- Design and construction.,Evolutionary computation.,Evolutionary computation.,Evolutionary programming (Computer science),Evolutionary programming (Computer science),Informatique.,Logic circuits-- Design and construction.,Logic circuits-- Design and construction.
رده :
QA76
.
618
.
E96
2006eb
105. Evolvable hardware
پدیدآورنده : / Tetsuya Higuchi, Yong Liu, Xin Yao, (eds.)
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع : Evolutionary computation,Evolutionary programming (Computer science),Digital integrated circuits- Design and construction,Logic circuits- Design and construction
رده :
QA76
.
618
.
E96
2006
106. Evolvable hardware
پدیدآورنده : / Tetsuya Higuchi, Yong Liu, Xin Yao, (eds.)
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع : Evolutionary computation,Evolutionary programming (Computer science),Digital integrated circuits- Design and construction,Logic circuits- Design and construction
رده :
QA76
.
618
.
E96
2006
107. Evolvable systems
پدیدآورنده : Tetsuya Higuchi, Masaya Iwata, Weixin Liu (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Digital integrated circuits-- Design and construction, Congresses.,Evolutionary computation, Congresses.,Evolutionary programming (Computer science), Congresses.,Logic circuits-- Design and construction, Congresses.
108. Evolvable systems : from biology to hardware : First International Conference, ICES 96, Tsukuba, Japan, October 7-8, 1996 : proceedings
پدیدآورنده : Tetsuya Higuchi, Iwata Masaya, Weixin Liu )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Evolutionary programming )Computer science(,Congresses ، Evolutionary computation,Design and construction -- Congresses ، Digital integrated circuits,Design and construction -- Congresses ، Logic circuits
رده :
QA
76
.
L28
Vol
.
1259
109. Expert Systems in Engineering Applications
پدیدآورنده : edited by Spyros Tzafestas.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence.,Computer science.,Engineering economy.
رده :
TA345
.
E358
1993
110. Exploring the early digital /
پدیدآورنده : Thomas Haigh, editor.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer systems-- History, Congresses.,Computers, Congresses.,Computer systems.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Computers.
رده :
QA75
.
5
.
E96
2019
111. FM '99 - formal methods / 2.
پدیدآورنده : Jeannette M. Wing ... (ed.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع :
112. Formal Methods in Programming and Their Applications :
پدیدآورنده : edited by Dines Bjørner, Manfred Broy, Igor V. Pottosin.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Logic design.,Software engineering.
رده :
QA76
.
6
E358
1993
113. Formal aspects of component software :
پدیدآورنده : Kyungmin Bae, Peter Csaba Ölveczky (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Component software, Congresses.,Formal methods (Computer science), Congresses.,Logics and Meanings of Programs.,Component software.,Computer programming / software development.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Formal methods (Computer science),Mathematical theory of computation.,Mathematics-- Logic.,Programming & scripting languages: general.,Software Engineering.
رده :
QA76
.
9
.
F67
114. Formal methods and object technology
پدیدآورنده : S.J. Goldsack and S.J.H. Kent (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Programación orientada al objeto (Informática)
رده :
QA76
.
64
S546
1996
115. Formal methods and software engineering :
پدیدآورنده : Jing Sun, Meng Sun (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Formal methods (Computer science), Congresses.,Software engineering, Congresses.,Computer programming-- software development.,Computers-- Expert Systems.,Computers-- General.,Computers-- Hardware-- Handheld Devices.,Computers-- Programming-- General.,Computers-- Software Development & Engineering-- General.,Expert systems-- knowledge-based systems.,Formal methods (Computer science),Information technology: general issues.,Mathematical theory of computation.,Mathematics-- Logic.,Software engineering.,Software Engineering.,Systems analysis & design.
رده :
QA76
.
9
.
F67
116. Formal methods, foundations and applications :
پدیدآورنده : Adenilso Simao, Carroll Morgan (editions.)
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Formal methods (Computer science), Congresses
رده :
QA76
.
9
.
F67
B73
2011
117. Formal methods in standards :
پدیدآورنده : from the BCS working group ; ed. by C.L.N. Ruggles.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع :
رده :
QA76
.
9
.
S8
F766
1990
118. Formal modeling :
پدیدآورنده : Gul Agha, Olivier Danvy, José Meseguer. (editions.)
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer software-- Verification,Formal methods (Computer science),Computer Science,Logics and Meanings of Programs,Mathematical Logic and Formal Languages,Programming Languages, Compilers, Interpreters,Programming Techniques,Software Engineering
رده :
QA76
.
9
.
F67
F67
2011
119. Formal modeling and analysis of timed systems :
پدیدآورنده : Uli Fahrenberg, Stavros Tripakis (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer simulation, Congresses.,Formal methods (Computer science), Congresses.,Temporal automata, Congresses.
رده :
QA76
.
9
.
C65
F67
2011
120. Formalization of Programming Concepts:
پدیدآورنده : J Diaz
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer programming.,Computer science.,Software engineering.
رده :
QA76
.
6
J353
1981
